Dedekind cut
[计] 戴德金割
🧩 词语组成解析
cut
[kʌt]
vt.& vi. 将（某物）切开（或分割）;
vt. 削减;剪切;切成;删剪;
vi. 电影;（为决定谁先出牌等）切牌;可被切割;可用于切割;
n. 切口;削减;剪裁;切片;
🗣️ 情景例句
The rainy season lasted until July.
雨季一直持续到7月。
After a storm comes a calm.
否极泰来。
But how would we find such a planet? At present, there is no telescope in existence that is capable of detecting the presence of life.
但是，我们如何才能找到这样一颗行星呢？现在，没有一台现存的望远镜可以发现生命的存在。